《汇编语言程序设计》教学改革与体会

在计算机行业高速发展、高级语言日益使用普通的情况下,分析汇编语言的教学现状,针对汇编语言课程的特点和教学中存在的问题,提出具体解决办法,介绍该课程的教改思路和创新成果。     

高职计算机专业程序设计教学探讨

针对高职计算机专业程序设计的教学,提出了以市场需求为导向,技能培养为目标,结合市场的需求,采用项目驱动,以实用的案例进行教学。提高了学生的学习热情和程序设计能力,所学的知识具有实用性,能促进学生的就业。     

《C语言程序设计》教学实践

C语言程序设计课程是一门公共基础课,也是一门实践性很强的课程。旧有的教学教学方法和手段已不能适应学生的需要,我们在C语言程序设计课程的教学中引入改革措施,提出案例教学、师生互动、合理使用多媒体等一系列的改革措施,得到了较好的效果。     

基于Web的计算机课程作业管理系统设计和实现

本文所阐述的基于Web的作业管理系统．利用网络编程．实现在一个平台上进行作业的上交、批改、以及成绩的统计和查询等操作．为教学的进行提供了有效便捷的手段。     

利用PowerPoint的VBA编程功能制作勾股定理的探索与验证交互性课件

本文介绍了利用PowerPoint 2003的VBA编程功能制作“勾股定理的探索与验证”交互性课件方珐和程序代码。     

Toward a programming theory for rational agents

An important problem in agent verification is a lack of proper understanding of the relation between agent programs on the one hand and agent logics on the other. Understanding this relation would help to establish that an agent programming language is both conceptually well-founded and well-behaved, as well as yield a way to reason about agent programs by means of agent logics. As a step toward bridging this gap, we study several issues that need to be resolved in order to establish a precise mathematical relation between a modal agent logic and an agent programming language specified by means of an operational semantics. In this paper, we present an agent programming theory that provides both an agent programming language as well as a corresponding agent verification logic to verify agent programs. The theory is developed in stages to show, first, how a modal semantics can be grounded in a state-based semantics, and, second, how denotational semantics can be used to define the mathematical relation connecting the logic and agent programming language. Additionally, it is shown how to integrate declarative goals and add precompiled plans to the programming theory. In particular, we discuss the use of the concept of higher-order goals in our theory. Other issues such as a complete axiomatization and the complexity of decision procedures for the verification logic are not the focus of this paper and remain for future investigation. Part of this research was carried out while the first author was affiliated with the Nijmegen Institute for Cognition and Information, Radboud University Nijmegen.     

“SDSPR教学法”在程序设计类课程中的应用

本文详细介绍了SDSPR教学方法的五个环节,并总结了SDSPR教学方法的特点,说明了"SDSPR"教学方法在程序设计类课程中的重要作用,对于推行"理论实践一体化"的教学模式和提高高职软件专业学生的编程技能具有重要的意义。     

在Win32汇编语言环境下开发网络通讯功能

采用Win32汇编语言实现了一个基于TCP／IP协议的网络通信功能。程序开发及运行结果表明,与传统汇编相比,在Windows操作系统下的Win32汇编具有高级语言的优点,能够以最灵活的方式调用系统封装函数,软件开发效率大为提高;与高级语言相比,Win32汇编应用程序占用内存资源少,运行速度快,保留了传统汇编的优点。     

基于Win32 API的未知病毒检测

提出了一个基于行为特征向量的病毒检测方法。特征向量的每一维用于表示一种恶意行为事件,每一事件由相应的Win32应用程序编程接口(API)调用及其参数表示,并实现了一个自动化行为追踪系统(Argus)用于行为特征的提取。试验中,通过对样本数据的分析,利用互信息对特征向量进行属性约简,减少特征维数。试验结果表明,约简后的模型对于发生行为事件数大于1的病毒程序仍有着较好的检测效果。     

Java程序设计课程的案例设计

解释了"项目驱动、案例教学、理论实践一体化"教学方法的基本思路,给出了Java程序设计课程的案例设计.